Parallel hardware design in BHALLERSTEDE, Stefan.Lecture notes in computer science. 2003, pp 101-102, issn 0302-9743, isbn 3-540-40253-5, 2 p.Conference Paper

ZB 2003 : formal specification and development in Z and B (Turku, 4-6 June 2003)Bert, Didier; Bowen, Jonathan P; King, Steve et al.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40253-5, XIII, 545 p, isbn 3-540-40253-5Conference Proceedings

To be or not to be ... a global constraintBESSIERE, Christian; VAN HENTENRYCK, Pascal.Lecture notes in computer science. 2003, pp 789-794, issn 0302-9743, isbn 3-540-20202-1, 6 p.Conference Paper

Characters + mark-up = Z LexisTOYN, Ian; STEPNEY, Susan.Lecture notes in computer science. 2002, pp 100-119, issn 0302-9743, isbn 3-540-43166-7Conference Paper

The OntoWordNet project: Extension and axiomatization of conceptual relations in WordNetGANGEMI, Aldo; NAVIGLI, Roberto; VELARDI, Paola et al.Lecture notes in computer science. 2003, pp 820-838, issn 0302-9743, isbn 3-540-20498-9, 19 p.Conference Paper

How to diagnose a modern car with a formal B model?POUZANCRE, Guilhem.Lecture notes in computer science. 2003, pp 98-100, issn 0302-9743, isbn 3-540-40253-5, 3 p.Conference Paper

Formal Extreme (and extremely formal) ProgrammingHERRANZ, Angel; MORENO-NAVARRO, Juan Jose.Lecture notes in computer science. 2003, pp 88-96, issn 0302-9743, isbn 3-540-40215-2, 9 p.Conference Paper

Confidentiality levels and deliberate/indeliberate protocol attacks. DiscussionBELLA, Giampaolo; BISTARELLI, Stefano; COHEN, Ernie et al.Lecture notes in computer science. 2003, pp 104-119, issn 0302-9743, isbn 3-540-20830-5, 16 p.Conference Paper

Automatically generating information from a Z specification to support the Classification Tree MethodHIERONS, Robert M; HARMAN, Mark; SINGH, Harbhajan et al.Lecture notes in computer science. 2003, pp 388-407, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper

A linearly complex model for knowledge representationSARBO, Janos; FARKAS, Jozsef.Lecture notes in computer science. 2002, pp 20-33, issn 0302-9743, isbn 3-540-43901-3, 14 p.Conference Paper

STG: A symbolic test generation toolCLARKEL, Duncan; JERON, Thierry; RUSU, Vlad et al.Lecture notes in computer science. 2002, pp 470-475, issn 0302-9743, isbn 3-540-43419-4Conference Paper

Modeling agent-based systemsMANDUTIANU, Sanda.Lecture notes in computer science. 2001, pp 318-320, issn 0302-9743, isbn 3-540-42716-3Conference Paper

Formal methods in software practiceDILLON, Laura K; SANKAR, Sriram.IEEE transactions on software engineering. 1997, Vol 23, Num 5, pp 265-323, issn 0098-5589Serial Issue

B#: Toward a synthesis between Z and BABRIAL, Jean-Raymond.Lecture notes in computer science. 2003, pp 168-177, issn 0302-9743, isbn 3-540-40253-5, 10 p.Conference Paper

Investigating the integration of two formal methodsBICARREGUI, J; MATTHEWS, B; RITCHIE, B et al.Formal aspects of computing. 1998, Vol 10, Num 5-6, pp 532-549, issn 0934-5043Conference Paper

Verification of cryptographic protocols : An experimentMEHDI AYADI, M; BOLIGNANO, D.Lecture notes in computer science. 1997, pp 358-377, issn 0302-9743, isbn 3-540-63533-5Conference Paper

BE⁴ : The B extensible eclipse editing environmentBENDISPOSTO, Jens; LEUSCHEL, Michael.Lecture notes in computer science. 2006, pp 270-273, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, 4 p.Conference Paper

Efficient, verifiable shuffle decryption and its requirement of unlinkabilityJUN FURUKAWA.Lecture notes in computer science. 2004, pp 319-332, issn 0302-9743, isbn 3-540-21018-0, 14 p.Conference Paper

Corpus-based rules for Czech verb discontinuous constituentsZACKOVA, E; PALA, K.Lecture notes in computer science. 1999, Vol 1692, pp 325-328, issn 0302-9743, isbn 3-540-66494-7Conference Paper

ZB 2005 : formal specification and developments in Z and B (Guildford, 13-15 April 2005)Treharne, Helen; King, Steve; Henson, Martin et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25559-1, XV, 491 p, isbn 3-540-25559-1Conference Proceedings

ZML: XML support for standard ZUTTING, Mark; TOYN, Ian; JING SUN et al.Lecture notes in computer science. 2003, pp 437-456, issn 0302-9743, isbn 3-540-40253-5, 20 p.Conference Paper

FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002)Eriksson, Lars-Henrik; Lindsay, Peter Alexander.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43928-5, XI, 624 p, isbn 3-540-43928-5Conference Proceedings

B 2007 (formal specification and development in B)Julliand, Jacques; Kouchnarenko, Olga.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-68760-3, 1Vol, XIII-292 p, isbn 978-3-540-68760-3Conference Proceedings

Specification before satisfaction : The case for research into obtaining the right specificationJONES, Cliff B.Lecture notes in computer science. 2005, pp 1-5, issn 0302-9743, isbn 3-540-25559-1, 5 p.Conference Paper

FDTs in self-adaptive protocol specificationHARANGOZO, Zsuzsanna; TARNAY, Katalin.Lecture notes in computer science. 2003, pp 113-128, issn 0302-9743, isbn 3-540-00731-8, 16 p.Conference Paper